Mutadelic: mutation analysis using description logic inferencing capabilities

Mutadelic: mutation analysis using description logic inferencing capabilities

MOTIVATION As next generation sequencing gains a foothold in clinical genetics, there is a need for annotation tools to characterize increasing amounts of patient variant data for identifying clinically relevant mutations. While existing informatics tools provide efficient bulk variant annotations, they often generate excess information that may limit their scalability. RESULTS We propose an ...

A Connection Method for Inferencing over the Description Logic ALC

Efficient Inferencing for the Description Logic Underlying OWL EL

The recent OWL 2 W3C recommendation includes the lightweight ontology language OWL EL which is semantically based on an extension of the EL description logic (DL). It is widely assumed that inferencing in OWL EL is possible in polynomial time, but it is not obvious how to extend existing reasoning procedures for EL accordingly. We set out to close this gap by developing inferencing methods for ...

Completing Description Logic Knowledge Bases Using Formal Concept Analysis

We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the assertional part and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowl...

A Logic of Capabilities

In this paper a logic of capabilities is introduced. We start by defining a language in which not only knowledge and actions of a set of agents can be expressed but also their abilities. To formalize the planning of the agents a Can-predicate and a Cannotpredicate are used. The former indicates that an agent knows that he can achieve a given goal by performing a given action, the latter indicat...